In the past decade, three philosophers in particular have recently explored the relation between desert and intrinsic value. Fred Feldman argues that consequentialism need not give much weight – or indeed any weight at all – to the happiness of persons who undeservedly experience pleasure. He defends the claim that the intrinsic value of a state of affairs is determined by the “fit” between the amount of well-being that a person receives and the amount of well-being that the person deserves. (...) Shelly Kagan uses a similar claim to motivate the view that equality is not intrinsically valuable. Thomas Hurka argues that desert is a third-order value, which is a function of the relation between the second-order value of having a virtuous or vicious character and the first-order value of experiencing pleasure or pain. In this paper, we sketch a theory of desert as fittingness and defend a general account of the relation between desert, well-being, and intrinsic value. We then discuss various applications of our “geometry of desert,” including a solution to the problem of the Repugnant Conclusion. In so doing, we explain, revise, and extend many of these authors’ central ideas. (shrink)

A number of concerns have been raised about the possible future use of pharmaceuticals designed to enhance cognitive, affective, and motivational processes, particularly where the aim is to produce morally better decisions or behavior. In this article, we draw attention to what is arguably a more worrying possibility: that pharmaceuticals currently in widespread therapeutic use are already having unintended effects on these processes, and thus on moral decision making and morally significant behavior. We review current evidence on the moral effects (...) of three widely used drugs or drug types: propranolol, selective serotonin reuptake inhibitors, and drugs that effect oxytocin physiology. This evidence suggests that the alterations to moral decision making and behavior caused by these agents may have important and difficult-to-evaluate consequences, at least at the population level. We argue that the moral effects of these and other widely used pharmaceuticals warrant further empirical research and ethical analysis. (shrink)

Response to commentary. We are grateful to Crockett and Craigie for their interesting remarks on our paper. We accept Crockett’s claim that there is a need for caution in drawing inferences about patient groups from work on healthy volunteers in the laboratory. However, we believe that the evidence we cited established a strong presumption that many of the patients who are routinely taking a medication, including many people properly prescribed the medication for a medical condition, have morally significant aspects of (...) their cognition and behavior modified in a way that is unintended and may sometimes be unwelcome. Crockett notes that in some cases the effects of long-term drug use may differ, sometimes markedly, from the effects of short-term use. However, if acute use of a drug affects a neural system involved in mediating moral cognition or behavior, this nevertheless provides some evidence that chronic use of the drug may affect that same system and thus have morally significant effects. It is also plausible, in some cases, that an acute moral effect would give rise to a chronic moral effect via cognitive mechanisms. ... (shrink)

The most valuable player (MVP) of an athletic league is the single best individual player in the league. The MVP award is the institutional recognition of this person, and it is the highest annual award that a player can receive. Despite its widespread consideration and importance, we argue that the concept of the MVP is a fundamentally vague concept. In the context of professional sports, however, such a vague category is valuable in that it promotes the active discussion of different (...) types of excellence found within a specific sport and the weight to be assigned these types, thus leading to a gain for the discussants. (shrink)

We have argued that the counterfactual comparative account of harm and benefit (CCA) violates the plausible adequacy condition that an act that would harm an agent cannot leave her much better off than an alternative act that would benefit her. In a recent paper in this journal, however, Neil Feit objects that our argument presupposes questionable counterfactual backtracking. He also argues that CCA proponents can justifiably reject the condition by invoking so-called plural harm and benefit. In this reply, (...) we argue that Feit’s lines of criticism are both unsuccessful. (shrink)

Jerome Wakefield has argued that a disorder is a harmful dysfunction. This paper develops how Wakefield should construe harmful in his harmful dysfunction analysis. Recently, Neil Feit has argued that classic puzzles involved in analyzing harm render Wakefield’s HDA better off without harm as a necessary condition. Whether or not one conceives of harm as comparative or non-comparative, the concern is that the HDA forces people to classify as mere dysfunction what they know to be a disorder. For (...) instance, one can conceive of cases where simultaneous disorders prevent each other from being, in any traditional sense, actually harmful; in such cases, according to the HDA, neither would be a disorder. I argue that the sense of harm that Wakefield should employ in the HDA is dispositional, similar to the sense of harm used when describing a vile of poison: “Be careful! That’s poison. It’s harmful.” I call this harm in the damage sense. Using this sense of harm enables the HDA to avoid Feit’s arguments, and thus it should be preferred to other senses when analyzing harmful dysfunction. (shrink)

The counterfactual comparative account of harm faces problems in cases that involve overdetermination and preemption. An influential strategy for dealing with these problems, drawing on a suggestion made by Derek Parfit, is to appeal to _plural harm_—several events _together_ harming someone. We argue that the most well-known version of this strategy, due to Neil Feit, as well as Magnus Jedenheim Edling’s more recent version, is fatally flawed. We also present some general reasons for doubting that the overdetermination and (...) preemption problems for the counterfactual comparative account can be satisfactorily solved by appealing to plural harm. (shrink)

Many philosophers argue that the face-value of moral practice provides presumptive support to moral realism. This paper analyses such arguments into three steps. (1) Moral practice has a certain face-value, (2) only realism can vindicate this face value, and (3) the face-value needs vindicating. Two potential problems with such arguments are discussed. The first is taking the relevant face-value to involve explicitly realist commitments; the second is underestimating the power of non-realist strategies to vindicate that face-value. Case studies of each (...) of these errors are presented, drawn from the writings of Shafer-Landau, Brink and McNaughton, and from recent work in experimental metaethics. The paper then considers weak presumptive arguments, according to which both realist and non-realist vindications of moral practice are possible, but the realist vindications are more natural. It is argued that there is no sense of ‘natural’ available that can make these arguments work. The conclusion is that all extant presumptive arguments for moral realism fail. (shrink)

I defend ethical hedonism, the view that pleasure is the sole good thing, by arguing that it offers the only answer to an argument for moral skepticism. The skeptical problem arises from widespread fundamental moral disagreement, which entails the presence of enough moral error to undermine the reliability of most processes generating moral belief. We know that pleasure is good through the reliable process of phenomenal introspection, which reveals what our experiences are like. If knowing of pleasure’s goodness through phenomenal (...) introspection is the only reliable way to form our initial moral beliefs, we should accept ethical hedonism. (shrink)

The following is a transcript of the interview I (Yasuko Kitano) conducted with Neil Levy (The Centre for Applied Philosophy and Public Ethics, CAPPE) on the 23rd in July 2009, while he was in Tokyo to give a series of lectures on neuroethics at The University of Tokyo Center for Philosophy. I edited his words for publication with his approval.

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

This paper presents the Universality Argument that pleasure is goodness. The first premise defines goodness as what should please all. The second premise reduces 'should' to perceptual accuracy. The third premise invokes a universal standard of accuracy: qualitative identity. Since the pleasure of all is accurate solely about pleasure, pleasure is goodness, or universal moral value. The argument proceeds from a moral sense theory that analyzes moral concepts as concerned with what all should hope for, feel guilty about, and admire. (...) This requires rejecting practical anti-empiricism, the view that moral judgment concerns empirically inaccessible norms governing action. (shrink)

This paper explores connections between theories of morality and theories of properties. It argues that (1) moral realism is in tension with predicate, class and mereological nominalism; (2) moral non-naturalism is incompatible with standard versions of resemblance nominalism, immanent realism and trope theory; and (3) the standard semantic arguments for property realism do not support moral realism. I also raise doubts about trope-theoretic explanations of moral supervenience and argue against one version of the principle that we should accept theories that (...) maintain neutrality. (shrink)

Heidegger’s ontological views, his observations about liberalism and fascism, and his evaluative commitments are three premises of an argument for fascism. The ontological premise is that integrated wholes and objects of a creator or user’s will are ontologically superior, as Being and Time suggests in discussing Being-a-whole, creating art, and using equipment. The social premise is that fascist societies are wholes integrated by dictatorial will, while liberal societies are looser aggregates of free individuals, as Heidegger describes in his 1930s seminars. (...) The evaluative premise, shared with the medieval tradition and expressed in his notebook remarks about war, is that ontological superiority makes things better. The conclusion that fascism is better than liberalism should be rejected along with the evaluative premise. (shrink)

The rightness and wrongness of actions fits on a continuous scale. This fits the way we evaluate actions chosen among a diverse range of options, even though English speakers don’t use the words “righter” and “wronger”. I outline and defend a version of scalar consequentialism, according to which rightness is a matter of degree, determined by how good the consequences are. Linguistic resources are available to let us truly describe actions simply as right. Some deontological theories face problems in accounting (...) for degrees of rightness, as they don't invoke continuous parameters among the right-making features of action. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

This essay defends a strong version of the Humean theory of motivation on which desire is necessary both for motivation and for reasoning that changes our desires. Those who hold that moral judgments are beliefs with intrinsic motivational force need to oppose this view, and many of them have proposed counterexamples to it. Using a novel account of desire, this essay handles the proposed counterexamples in a way that shows the superiority of the Humean theory. The essay addresses the classic (...) objection that the Humean theory cannot explain the feeling of obligation, Stephen Darwall's example of motivationally potent reasoning that is not based on preexisting desires, Thomas Scanlon's criticism that the Humean theory fails to account for the structure and phenomenology of deliberation, and the phenomenon of akrasia as discussed by John Searle. In each case a Humean account explains the data at least as thoroughly as opposing views can, while fitting within a simpler total account of how we deliberate and act. (shrink)

What is posthumanism and why does it matter? This book offers an introduction to the ways in which humanism's belief in the natural supremacy of the Family of Man has been called into question at different moments and from different theoretical positions. What is the relationship between posthumanism and technology? Can posthumanism have a politics—postcolonial or feminist? Are postmodernism and poststructuralism posthumanist? What happens when critical theory meets Hollywood cinema? What links posthumanism to science fiction. Posthumanism addresses these and other (...) questions in an attempt to come to terms with one of the most pressing issues facing contemporary society. (shrink)

The view that morally worthy actions must be motivated by moral knowledge faces counterexamples. This paper offers a counterexample in which Ava and Beth text a wise rabbi for answers to the same moral question, receive the same correct answer, and accordingly act rightly. Beth however receives her answer from a thief who stole the rabbi's phone and randomly chose the correct answer. Beth therefore is Gettierized and lacks moral knowledge that Ava has. But this doesn't seem to diminish the (...) moral worth of Beth's action. This is a counterexample to Paulina Sliwa and JJ Cunningham's accounts of moral worth, which require moral knowledge. (shrink)

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play (...) a crucial role concerning religion and society. (shrink)

This essay presents an ideal for modern Western romantic love.The basic ideas are the following: people want to form a distinctive sort of plural subject with another, what Nozick has called a "We", they want to be loved for properties of certain kinds, and they want this love to establish and sustain a special sort of commitment to them over time.

This paper argues that qualia share their physical correlates' locations. The first premise comes from the theory of relativity: If something shares a time with a physical event in all reference frames, it shares that physical event’s location. The second premise is that qualia share times with their correlates in all reference frames. Having qualia and correlates share locations makes relations between them easier to explain, improving both physicalist and dualist theories.

I argue that one intends that ϕ if one has a desire that ϕ and an appropriately related means-end belief. Opponents, including Setiya and Bratman, charge that this view can't explain three things. First, intentional action is accompanied by knowledge of what we are doing. Second, we can choose our reasons for action. Third, forming an intention settles a deliberative question about what to do, disposing us to cease deliberating about it. I show how the desire- belief view can explain (...) why these phenomena occur when they occur, and why they don't when they don't. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

Propositionalism is the view that the contents of intentional attitudes have a propositional structure. Objectualism opposes propositionalism in allowing the contents of these attitudes to be ordinary objects or properties. Philosophers including Talbot Brewer, Paul Thagard, Michelle Montague, and Alex Grzankowski attack propositionalism about such attitudes as desire, liking, and fearing. This article defends propositionalism, mainly on grounds that it better supports psychological explanations.

In this paper we sketch a new version of aesthetic expressivism. We argue that one advantage of this view is that it explains various putative norms on the formation and revision of aesthetic judgement. We begin by setting out our proposed explananda and a sense in which they can be understood as governing the correct response to putative higher-order evidence in aesthetics. We then summarise some existing discussions of expressivist attempts to explain these norms, and objections raised to them. This (...) will allow us to identify the pitfalls that a good expressivist explanation needs to avoid. Finally, we sketch our preferred version of aesthetic expressivism which includes as a crucial part a hypothesis concerning the distinctive expressive function of aesthetic practice. We then consider how this theory can explain the putative aesthetic norms whilst avoiding the previous objections. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

The Continuum Hypothesis featured top of Hilbert's list of 23 problems in 1900. Today, we still consider the question, with various programmes pulling in different directions. This conceptual diversity raises a puzzle: In what sense do we disagree when we talk about it? A standard assumption takes it that the content of our thought about classes and the Continuum Hypothesis has not changed. Assuming a moderate view of how content is determined, I reject this assumption but also argue that whilst (...) the Continuum Hypothesis can have different content for different agents, it can also be determinate for certain programmes. In particular, I suggest that there is a fault line between those who think there are uncountable sets and recent countabilist programmes. (shrink)

What is the connection between reasons and motives? According to Reasons Internalism there is a non-trivial conceptual connection between normative reasons and the possibility of rationally accessing relevant motivation. Reasons Internalism is attractive insofar as it captures the thought that reasons are for reasoning with and repulsive insofar as it fails to generate sufficient critical distance between reasons and motives. Rather than directly adjudicate this dispute, I extract from it two generally accepted desiderata on theories of normative reasons and argue (...) that a new theory can satisfy both. The new theory locates part of the meaning of normative reason statements in their role in normative discussion. It generates a view of the connection between reasons and motives that is distinct from Reasons Internalism, yet distinctively in its spirit. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

This chapter considers the nature of imagination and belief, exploring how deeply these two states of mind differ. It first addresses a range of cognitive and motivational differences between imagination and belief which suggest that they're fundamentally different states of mind. Then it addresses imaginative immersion, delusions, and the different norms we apply to the two mental states, which some theorists regard as providing support for a more unified picture of imagination and belief.

This paper sets out an account of trust in AI as a relationship between clinicians, AI applications, and AI practitioners in which AI is given discretionary authority over medical questions by clinicians. Compared to other accounts in recent literature, this account more adequately explains the normative commitments created by practitioners when inviting clinicians’ trust in AI. To avoid committing to an account of trust in AI applications themselves, I sketch a reductive view on which discretionary authority is exercised by AI (...) practitioners through the vehicle of an AI application. I conclude with four critical questions based on the discretionary account to determine if trust in particular AI applications is sound, and a brief discussion of the possibility that the main roles of the physician could be replaced by AI. (shrink)

Philosophers from Hart to Lewis, Johnston and Bennett have expressed various degrees of reservation concerning the doctrine of double effect. A common concern is that, with regard to many activities that double effect is traditionally thought to prohibit, what might at first look to be a directly intended bad effect is really, on closer examination, a directly intended neutral effect that is closely connected to a foreseen bad effect. This essay examines the extent to which the commonsense concept of intention (...) supports a reasonably consistent and coherent application of double effect. Two important conclusions are these: (1) a number of traditionally proscribed activities involve a kind of “targeting” of innocents that can be taken to exhibit a direct intention to harm them; (2) a direct intention to harm need not involve a desire to harm in any ordinary sense of the latter expression. (shrink)

Some philosophers (including Urmson, Humberstone, Shah, and Velleman) hold that believing that p distinctively involves applying a norm according to which the truth of p is a criterion for the success or correctness of the attitude. On this view, imagining and assuming differ from believing in that no such norm is applied. I argue against this view with counterexamples showing that applying the norm of truth is neither necessary nor sufficient for distinguishing believing from imagining and assuming. Then I argue (...) that the different functional properties of these mental states are enough to distinguish them, and that norm-application doesn't help us draw the functional distinctions. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

Actions performed in a state of automatism are not subject to moral evaluation, while automatic actions often are. Is the asymmetry between automatistic and automatic agency justified? In order to answer this question we need a model or moral accountability that does justice to our intuitions about a range of modes of agency, both pathological and non-pathological. Our aim in this paper is to lay the foundations for such an account.

Ethical reductionism is the best version of naturalistic moral realism. Reductionists regard moral properties as identical to properties appearing in successful scientific theories. Nonreductionists, including many of the Cornell Realists, argue that moral properties instead supervene on scientific properties without identity. I respond to two arguments for nonreductionism. First, nonreductionists argue that the multiple realizability of moral properties defeats reductionism. Multiple realizability can be addressed in ethics by identifying moral properties uniquely or disjunctively with properties of the special sciences. Second, (...) nonreductionists argue that irreducible moral properties explain empirical phenomena, just as irreducible special-science properties do. But since irreducible moral properties don't successfully explain additional regularities, they run the risk of being pseudoscientific properties. Reductionism has all the benefits of nonreductionism, while also being more secure against anti-realist objections because of its ontological simplicity. (shrink)

The moral belief problem is that of reconciling expressivism in ethics with both minimalism in the philosophy of language and the syntactic discipline of moral sentences. It is argued that the problem can be solved by distinguishing minimal and robust senses of belief, where a minimal belief is any state of mind expressed by sincere assertoric use of a syntactically disciplined sentence and a robust belief is a minimal belief with some additional property R. Two attempts to specify R are (...) discussed, both based on the thought that beliefs are states that aim at truth. According to the first, robust beliefs are criticisable to the extent that their content fails to match the state of the world. This sense fails to distinguish robust beliefs from minimal beliefs. According to the second, robust beliefs function to have their content match the state of the world. This sense succeeds in distinguishing robust beliefs from minimal beliefs. The conclusion is that the debate concerning the cognitive status of moral convictions needs to address the issue of the function of moral convictions. Evolutionary theorising may be relevant, but will not be decisive, in answering this question. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Awarding rights to rivers, forests, and other environmental entities (EEs) is a new and increasingly popular approach to environmental protection. The distinctive feature of such rights of nature (RoN) legislation is that direct duties are owed to the EEs. This paper presents a novel rebuttal of the strongest argument against RoN: the no interest argument. The crux of this argument is that because EEs are not sentient, they cannot possess the kinds of interests necessary to ground direct duties. Therefore, they (...) cannot be legitimate rights-bearers. After considering and rejecting standard responses to this argument, the paper challenges its fundamental assumption: that rights-correlative duties must be grounded in the interests of the rights-bearer. The paper then presents the RoN critic with a dilemma. The critic must either accept that EEs are legitimate rights-bearers, or delegitimise many well-established rights-bearers along with EEs. Either way, the no interest argument loses its force. (shrink)

This paper applies the theory of teleosemantics to the issue of moral content. Two versions of teleosemantics are distinguished: input-based and output-based. It is argued that applying either to the case of moral judgements generates the conclusion that such judgements have both descriptive (belief-like) and directive (desire-like) content, intimately entwined. This conclusion directly validates neither descriptivism nor expressivism, but the application of teleosemantics to moral content does leave the descriptivist with explanatory challenges which the expressivist does not face. Since teleosemantics (...) ties content to function, the paper also offers an account of the evolutionary function of moral judgements. (shrink)

I argue that if David Lewis’ modal realism is true, modal realists from different possible worlds can fall in love with each other. I offer a method for uniquely picking out possible people who are in love with us and not with our counterparts. Impossible lovers and trans-world love letters are considered. Anticipating objections, I argue that we can stand in the right kinds of relations to merely possible people to be in love with them and that ending a trans-world (...) relationship to start a relationship with an actual person isn't cruel to one's otherworldly lover. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)